(install-arch-indep): Rename old info/dir only if exists.

diff --git a/Makefile.in b/Makefile.in
index 6fd78d54ebcb3773d08b8d1519a6bbef0036f4ec..623423d7946bcf5e25ffe901bbf3a8345c442a72 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -352,7 +352,7 @@ install-arch-indep: mkdir
        if [ `(cd ${srcdir}/info && /bin/pwd)` != `(cd ${infodir} && /bin/pwd)` ]; \
        then \
          (cd ${infodir};  \
-          if [ ! -f dir.old ]; then mv -f dir dir.old; \
+          if [ -f dir ] && [ ! -f dir.old ]; then mv -f dir dir.old; \
           else mv -f dir dir.bak; fi; \
           cd ${srcdir}/info ; \
           (cd $${thisdir}; ${INSTALL_DATA} ${srcdir}/info/dir ${infodir}/dir); \